(lambda (d t) (define t ((a b) ((lambda d d)))) 3)